hd($l$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$rec{-}case($l$) of [] =$>$ [] $\mid$ $h$::$t$ =$>$ $v$.$h$